[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.005 0.004 0.054 0.188 0.229 0.018 0.292 0.018

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.005 0.005 0.054 0.199 0.235 0.023 0.297 0.017

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.003 0.000 0.054 0.192 0.237 0.026 0.278 0.017

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.004 0.002 0.062 0.190 0.245 0.018 0.289 0.018

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 16 16 15 16 16

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.75 0.80 0.80

time (sec)

N/A 0.005 0.007 0.023 0.192 0.241 0.018 0.324 0.014

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 54 45 44 44 48 46 45

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.89 0.85 0.83

time (sec)

N/A 0.040 0.010 0.084 0.183 0.226 0.021 0.308 0.020

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 54 45 44 44 49 46 45

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.91 0.85 0.83

time (sec)

N/A 0.020 0.008 0.083 0.193 0.231 0.020 0.316 0.014

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 54 45 48 44 48 46 45

N.S.

1 1.00 1.00 0.83 0.89 0.81 0.89 0.85 0.83

time (sec)

N/A 0.018 0.009 0.059 0.186 0.232 0.021 0.293 0.013

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 54 45 44 44 49 46 45

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.91 0.85 0.83

time (sec)

N/A 0.023 0.010 0.078 0.196 0.226 0.023 0.313 0.014

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 54 45 44 44 48 46 45

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.89 0.85 0.83

time (sec)

N/A 0.022 0.008 0.078 0.186 0.237 0.023 0.288 0.014

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 84 98 0 297 381 86 112

N.S.

1 1.00 0.94 1.10 0.00 3.34 4.28 0.97 1.26

time (sec)

N/A 0.069 0.074 0.076 0.000 0.255 0.478 0.283 0.079

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 73 75 0 235 306 67 172

N.S.

1 1.00 1.04 1.07 0.00 3.36 4.37 0.96 2.46

time (sec)

N/A 0.044 0.041 0.070 0.000 0.265 0.350 0.295 8.643

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 57 56 0 185 216 55 112

N.S.

1 1.00 1.02 1.00 0.00 3.30 3.86 0.98 2.00

time (sec)

N/A 0.029 0.024 0.051 0.000 0.252 0.176 0.308 0.075

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 38 35 0 120 124 34 46

N.S.

1 1.00 1.12 1.03 0.00 3.53 3.65 1.00 1.35

time (sec)

N/A 0.017 0.006 0.045 0.000 0.241 0.108 0.309 0.019

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 61 61 0 211 564 62 213

N.S.

1 1.00 0.98 0.98 0.00 3.40 9.10 1.00 3.44

time (sec)

N/A 0.033 0.044 0.061 0.000 0.273 4.494 0.303 8.719

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 77 81 0 269 0 79 339

N.S.

1 1.00 0.95 1.00 0.00 3.32 0.00 0.98 4.19

time (sec)

N/A 0.074 0.056 0.063 0.000 0.271 0.000 0.285 8.882

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 102 128 0 358 0 105 447

N.S.

1 1.00 0.98 1.23 0.00 3.44 0.00 1.01 4.30

time (sec)

N/A 0.106 0.084 0.082 0.000 0.299 0.000 0.326 0.342

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 131 157 0 445 0 136 524

N.S.

1 1.00 0.96 1.15 0.00 3.25 0.00 0.99 3.82

time (sec)

N/A 0.145 0.070 0.124 0.000 0.319 0.000 0.294 8.914

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 132 198 0 837 842 161 261

N.S.

1 1.00 0.88 1.32 0.00 5.58 5.61 1.07 1.74

time (sec)

N/A 0.119 0.143 0.107 0.000 0.278 0.989 0.299 8.869

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 109 169 0 635 729 125 279

N.S.

1 1.00 0.96 1.48 0.00 5.57 6.39 1.10 2.45

time (sec)

N/A 0.073 0.097 0.119 0.000 0.271 0.731 0.302 8.815

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 81 97 0 387 280 88 135

N.S.

1 1.00 1.21 1.45 0.00 5.78 4.18 1.31 2.01

time (sec)

N/A 0.025 0.119 0.071 0.000 0.262 0.307 0.302 8.703

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 69 70 0 338 253 76 110

N.S.

1 1.00 1.05 1.06 0.00 5.12 3.83 1.15 1.67

time (sec)

N/A 0.023 0.045 0.067 0.000 0.274 0.295 0.396 8.685

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 70 68 0 341 265 76 119

N.S.

1 1.00 1.06 1.03 0.00 5.17 4.02 1.15 1.80

time (sec)

N/A 0.023 0.050 0.065 0.000 0.267 0.318 0.305 0.050

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 107 177 0 781 0 126 620

N.S.

1 1.00 0.99 1.64 0.00 7.23 0.00 1.17 5.74

time (sec)

N/A 0.093 0.115 0.089 0.000 0.332 0.000 0.312 9.029

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 131 205 0 975 0 171 775

N.S.

1 1.00 0.89 1.39 0.00 6.59 0.00 1.16 5.24

time (sec)

N/A 0.131 0.384 0.087 0.000 0.420 0.000 0.316 9.183

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 202 175 255 0 1226 0 229 914

N.S.

1 1.00 0.87 1.26 0.00 6.07 0.00 1.13 4.52

time (sec)

N/A 0.179 0.241 0.140 0.000 0.452 0.000 0.336 9.214

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 218 295 0 1407 0 282 1120

N.S.

1 1.00 0.87 1.17 0.00 5.58 0.00 1.12 4.44

time (sec)

N/A 0.221 0.199 0.139 0.000 0.559 0.000 0.319 9.225

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

318 318 272 359 0 1640 0 347 1260

N.S.

1 1.00 0.86 1.13 0.00 5.16 0.00 1.09 3.96

time (sec)

N/A 0.265 0.248 0.270 0.000 0.725 0.000 0.315 9.350

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 257 184 133 0 390 0 275 0

N.S.

1 1.00 0.72 0.52 0.00 1.52 0.00 1.07 0.00

time (sec)

N/A 0.367 0.419 0.226 0.000 0.288 0.000 0.344 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 205 150 106 0 326 0 222 0

N.S.

1 1.00 0.73 0.52 0.00 1.59 0.00 1.08 0.00

time (sec)

N/A 0.231 0.291 0.171 0.000 0.272 0.000 0.333 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 121 121 0 260 0 160 0

N.S.

1 1.00 0.74 0.74 0.00 1.60 0.00 0.98 0.00

time (sec)

N/A 0.037 0.265 0.130 0.000 0.275 0.000 0.318 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 95 100 0 220 0 119 0

N.S.

1 1.00 0.80 0.84 0.00 1.85 0.00 1.00 0.00

time (sec)

N/A 0.048 0.453 0.118 0.000 0.288 0.000 0.333 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 133 95 0 638 0 0 0

N.S.

1 1.00 0.77 0.55 0.00 3.69 0.00 0.00 0.00

time (sec)

N/A 0.081 0.186 0.141 0.000 0.295 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 125 101 0 653 0 0 0

N.S.

1 1.00 0.72 0.58 0.00 3.77 0.00 0.00 0.00

time (sec)

N/A 0.080 0.199 0.128 0.000 0.319 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 111 81 0 226 0 0 0

N.S.

1 1.00 0.97 0.71 0.00 1.98 0.00 0.00 0.00

time (sec)

N/A 0.091 0.256 0.169 0.000 0.305 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 130 115 0 272 0 0 0

N.S.

1 1.00 0.84 0.74 0.00 1.75 0.00 0.00 0.00

time (sec)

N/A 0.152 0.440 0.154 0.000 0.328 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 205 159 149 0 336 0 0 0

N.S.

1 1.00 0.78 0.73 0.00 1.64 0.00 0.00 0.00

time (sec)

N/A 0.233 0.590 0.189 0.000 0.340 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

422 422 304 328 0 664 0 509 0

N.S.

1 1.00 0.72 0.78 0.00 1.57 0.00 1.21 0.00

time (sec)

N/A 0.743 0.948 0.763 0.000 0.313 0.000 0.587 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

364 364 239 271 0 558 0 419 0

N.S.

1 1.00 0.66 0.74 0.00 1.53 0.00 1.15 0.00

time (sec)

N/A 0.650 0.705 0.659 0.000 0.319 0.000 0.320 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 288 211 225 0 474 0 355 0

N.S.

1 1.00 0.73 0.78 0.00 1.65 0.00 1.23 0.00

time (sec)

N/A 0.339 0.543 0.753 0.000 0.311 0.000 0.318 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 161 126 0 384 0 276 0

N.S.

1 1.00 0.81 0.64 0.00 1.94 0.00 1.39 0.00

time (sec)

N/A 0.109 0.378 0.191 0.000 0.302 0.000 0.337 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 133 100 0 320 0 224 0

N.S.

1 1.00 0.81 0.61 0.00 1.94 0.00 1.36 0.00

time (sec)

N/A 0.076 0.785 0.153 0.000 0.278 0.000 0.311 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 227 164 192 0 791 0 0 0

N.S.

1 1.00 0.72 0.85 0.00 3.48 0.00 0.00 0.00

time (sec)

N/A 0.160 0.495 0.133 0.000 0.344 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 219 156 180 0 757 0 0 0

N.S.

1 1.00 0.71 0.82 0.00 3.46 0.00 0.00 0.00

time (sec)

N/A 0.165 0.480 0.171 0.000 0.341 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 219 160 140 0 757 0 0 0

N.S.

1 1.00 0.73 0.64 0.00 3.46 0.00 0.00 0.00

time (sec)

N/A 0.157 0.502 0.179 0.000 0.341 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 257 172 150 0 815 0 0 0

N.S.

1 1.00 0.67 0.58 0.00 3.17 0.00 0.00 0.00

time (sec)

N/A 0.233 0.646 0.187 0.000 0.404 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 197 141 131 0 332 0 0 0

N.S.

1 1.00 0.72 0.66 0.00 1.69 0.00 0.00 0.00

time (sec)

N/A 0.250 0.687 0.178 0.000 0.327 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 249 176 161 0 394 0 0 0

N.S.

1 1.00 0.71 0.65 0.00 1.58 0.00 0.00 0.00

time (sec)

N/A 0.322 0.980 0.199 0.000 0.378 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 107 100 0 226 0 134 0

N.S.

1 1.00 0.75 0.70 0.00 1.58 0.00 0.94 0.00

time (sec)

N/A 0.113 0.229 0.139 0.000 0.290 0.000 0.335 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 89 50 0 188 0 90 0

N.S.

1 1.00 0.86 0.49 0.00 1.83 0.00 0.87 0.00

time (sec)

N/A 0.049 0.045 0.109 0.000 0.287 0.000 0.319 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 67 29 0 129 0 57 0

N.S.

1 1.00 0.94 0.41 0.00 1.82 0.00 0.80 0.00

time (sec)

N/A 0.024 0.079 0.081 0.000 0.273 0.000 0.334 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 68 42 0 130 0 59 0

N.S.

1 1.00 1.51 0.93 0.00 2.89 0.00 1.31 0.00

time (sec)

N/A 0.010 0.081 0.100 0.000 0.277 0.000 0.324 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 87 68 0 194 0 0 0

N.S.

1 1.00 1.13 0.88 0.00 2.52 0.00 0.00 0.00

time (sec)

N/A 0.033 0.141 0.118 0.000 0.276 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 111 117 0 232 0 0 0

N.S.

1 1.00 0.93 0.98 0.00 1.95 0.00 0.00 0.00

time (sec)

N/A 0.094 0.247 0.143 0.000 0.313 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 262 185 164 0 616 0 318 0

N.S.

1 1.00 0.71 0.63 0.00 2.35 0.00 1.21 0.00

time (sec)

N/A 0.319 0.611 0.224 0.000 0.326 0.000 0.338 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 201 143 129 0 486 0 231 0

N.S.

1 1.00 0.71 0.64 0.00 2.42 0.00 1.15 0.00

time (sec)

N/A 0.190 0.428 0.189 0.000 0.327 0.000 0.347 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 112 84 0 414 0 164 0

N.S.

1 1.00 0.73 0.55 0.00 2.71 0.00 1.07 0.00

time (sec)

N/A 0.108 0.347 0.153 0.000 0.300 0.000 0.348 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 37 34 0 73 0 69 75

N.S.

1 1.00 0.92 0.85 0.00 1.82 0.00 1.72 1.88

time (sec)

N/A 0.024 0.219 0.104 0.000 0.301 0.000 0.304 8.679

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 36 33 0 72 0 74 75

N.S.

1 1.00 0.92 0.85 0.00 1.85 0.00 1.90 1.92

time (sec)

N/A 0.023 0.255 0.098 0.000 0.277 0.000 0.304 8.526

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 108 107 0 411 0 199 0

N.S.

1 1.00 1.15 1.14 0.00 4.37 0.00 2.12 0.00

time (sec)

N/A 0.041 0.387 0.151 0.000 0.313 0.000 0.342 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 134 137 0 496 0 0 0

N.S.

1 1.00 0.93 0.95 0.00 3.44 0.00 0.00 0.00

time (sec)

N/A 0.102 0.470 0.204 0.000 0.304 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 180 173 0 630 0 0 0

N.S.

1 1.00 0.86 0.83 0.00 3.01 0.00 0.00 0.00

time (sec)

N/A 0.186 0.663 0.224 0.000 0.345 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 271 224 213 0 716 0 0 0

N.S.

1 1.00 0.83 0.79 0.00 2.64 0.00 0.00 0.00

time (sec)

N/A 0.290 0.933 0.272 0.000 0.407 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 343 271 258 0 866 0 0 0

N.S.

1 1.00 0.79 0.75 0.00 2.52 0.00 0.00 0.00

time (sec)

N/A 0.388 1.372 0.313 0.000 0.511 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 34 47 37 71 280 107 89

N.S.

1 1.00 0.92 1.27 1.00 1.92 7.57 2.89 2.41

time (sec)

N/A 0.010 0.045 0.060 0.191 0.282 0.335 0.311 8.552

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.005 0.002 0.058 0.183 0.243 0.018 0.305 0.017

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.005 0.002 0.020 0.183 0.251 0.017 0.271 0.017

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.004 0.000 0.021 0.187 0.252 0.018 0.271 0.016

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 16 16 15 16 16

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.75 0.80 0.80

time (sec)

N/A 0.004 0.001 0.023 0.183 0.242 0.018 0.282 0.014

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 17 20 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.81 0.95 0.81

time (sec)

N/A 0.007 0.002 0.053 0.179 0.259 0.035 0.270 0.015

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 17 16 20 12 16 16

N.S.

1 1.00 1.00 0.94 0.89 1.11 0.67 0.89 0.89

time (sec)

N/A 0.005 0.002 0.029 0.188 0.256 0.037 0.271 0.017

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 69 300 85 241 1377 399 271

N.S.

1 1.00 0.91 3.95 1.12 3.17 18.12 5.25 3.57

time (sec)

N/A 0.035 0.155 0.135 0.189 0.268 0.646 0.286 8.640

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 54 45 44 44 51 46 45

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.94 0.85 0.83

time (sec)

N/A 0.027 0.006 0.095 0.182 0.234 0.020 0.260 0.019

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 48 45 44 44 46 46 45

N.S.

1 1.00 0.89 0.83 0.81 0.81 0.85 0.85 0.83

time (sec)

N/A 0.036 0.007 0.094 0.182 0.235 0.022 0.262 0.013

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 54 45 48 44 51 46 45

N.S.

1 1.00 1.00 0.83 0.89 0.81 0.94 0.85 0.83

time (sec)

N/A 0.019 0.006 0.060 0.180 0.249 0.024 0.269 0.013

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 48 45 44 44 46 46 45

N.S.

1 1.00 0.89 0.83 0.81 0.81 0.85 0.85 0.83

time (sec)

N/A 0.031 0.006 0.081 0.178 0.257 0.022 0.469 0.014

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 42 41 41 48 43 42

N.S.

1 1.00 1.00 0.86 0.84 0.84 0.98 0.88 0.86

time (sec)

N/A 0.019 0.004 0.030 0.183 0.245 0.022 0.270 0.013

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 93 105 0 313 391 92 842

N.S.

1 1.00 0.93 1.05 0.00 3.13 3.91 0.92 8.42

time (sec)

N/A 0.093 0.063 0.091 0.000 0.273 1.750 0.327 8.576

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 250 73 0 1564 194 2457 4127

N.S.

1 1.00 1.23 0.36 0.00 7.70 0.96 12.10 20.33

time (sec)

N/A 0.343 0.110 0.085 0.000 0.311 11.603 0.605 8.862

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 78 83 0 254 316 75 655

N.S.

1 1.00 0.96 1.02 0.00 3.14 3.90 0.93 8.09

time (sec)

N/A 0.060 0.030 0.078 0.000 0.258 1.114 0.309 8.751

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 202 57 0 1059 129 2109 3026

N.S.

1 1.00 1.13 0.32 0.00 5.92 0.72 11.78 16.91

time (sec)

N/A 0.139 0.083 0.069 0.000 0.273 1.205 0.561 8.863

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 62 60 0 197 223 59 118

N.S.

1 1.00 0.98 0.95 0.00 3.13 3.54 0.94 1.87

time (sec)

N/A 0.049 0.016 0.053 0.000 0.271 0.496 0.284 0.092

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 165 41 0 559 75 503 416

N.S.

1 1.00 1.10 0.27 0.00 3.73 0.50 3.35 2.77

time (sec)

N/A 0.073 0.057 0.069 0.000 0.277 0.395 0.643 0.153

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 39 36 0 129 131 35 41

N.S.

1 1.00 1.08 1.00 0.00 3.58 3.64 0.97 1.14

time (sec)

N/A 0.030 0.008 0.040 0.000 0.269 0.257 0.282 8.474

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 129 38 0 613 87 1024 763

N.S.

1 1.00 0.86 0.25 0.00 4.09 0.58 6.83 5.09

time (sec)

N/A 0.050 0.053 0.064 0.000 0.281 0.603 0.589 8.799

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 113 65 0 223 253 68 1014

N.S.

1 1.00 1.64 0.94 0.00 3.23 3.67 0.99 14.70

time (sec)

N/A 0.046 0.046 0.059 0.000 0.272 8.642 0.272 9.041

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 191 159 0 1116 148 1839 2997

N.S.

1 1.00 1.10 0.91 0.00 6.41 0.85 10.57 17.22

time (sec)

N/A 0.142 0.253 0.099 0.000 0.272 1.873 0.730 9.003

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 135 85 0 293 0 94 2033

N.S.

1 1.00 1.52 0.96 0.00 3.29 0.00 1.06 22.84

time (sec)

N/A 0.096 0.084 0.079 0.000 0.282 0.000 0.271 9.569

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 151 209 0 868 0 161 1473

N.S.

1 1.00 0.91 1.26 0.00 5.23 0.00 0.97 8.87

time (sec)

N/A 0.158 0.120 0.116 0.000 0.288 0.000 0.614 0.274

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

331 331 327 174 0 2856 0 3335 7599

N.S.

1 1.00 0.99 0.53 0.00 8.63 0.00 10.08 22.96

time (sec)

N/A 0.471 0.409 0.105 0.000 0.482 0.000 0.994 9.461

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 121 179 0 663 0 152 1336

N.S.

1 1.00 0.92 1.36 0.00 5.02 0.00 1.15 10.12

time (sec)

N/A 0.103 0.118 0.100 0.000 0.296 0.000 0.685 9.064

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 271 282 151 0 2257 0 2736 6293

N.S.

1 1.00 1.04 0.56 0.00 8.33 0.00 10.10 23.22

time (sec)

N/A 0.326 0.350 0.109 0.000 0.343 0.000 0.941 9.614

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 93 104 0 407 282 96 187

N.S.

1 1.00 1.19 1.33 0.00 5.22 3.62 1.23 2.40

time (sec)

N/A 0.049 0.059 0.078 0.000 0.296 0.813 0.692 0.087

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 235 123 0 1668 296 2132 4973

N.S.

1 1.00 0.99 0.52 0.00 7.04 1.25 9.00 20.98

time (sec)

N/A 0.241 0.272 0.106 0.000 0.284 7.364 0.880 9.469

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 79 77 0 360 269 82 178

N.S.

1 1.00 1.05 1.03 0.00 4.80 3.59 1.09 2.37

time (sec)

N/A 0.045 0.046 0.079 0.000 0.274 0.690 0.620 0.082

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 222 122 0 1680 0 1970 4854

N.S.

1 1.00 1.00 0.55 0.00 7.60 0.00 8.91 21.96

time (sec)

N/A 0.169 0.295 0.148 0.000 0.297 0.000 0.878 9.288

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 79 75 0 361 267 82 172

N.S.

1 1.00 1.07 1.01 0.00 4.88 3.61 1.11 2.32

time (sec)

N/A 0.045 0.054 0.084 0.000 0.259 0.675 0.618 0.074

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 243 151 0 2309 0 2682 6404

N.S.

1 1.00 0.96 0.60 0.00 9.16 0.00 10.64 25.41

time (sec)

N/A 0.298 0.283 0.150 0.000 0.357 0.000 0.995 9.615

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 207 185 0 813 0 166 5048

N.S.

1 1.00 1.70 1.52 0.00 6.66 0.00 1.36 41.38

time (sec)

N/A 0.128 0.209 0.126 0.000 0.320 0.000 0.618 10.960

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 308 302 294 0 2912 0 3087 7555

N.S.

1 1.00 0.98 0.95 0.00 9.45 0.00 10.02 24.53

time (sec)

N/A 0.888 0.391 0.123 0.000 0.447 0.000 0.687 1.488

[next] [front] [up]